Peanoaritmetik

Peanoaritmetik (ibland förkortat PA) är inom talteorin ett sätt att konstruera de naturliga talen N, samt addition och multiplikation med hjälp av Peanos axiom. Peanoaritmetiken kan ses som en sluten algebraisk struktur (N, +, 0, ·, 1), där 0 och 1 är neutrala element för addition respektive multiplikation.